Перевод: с английского на все языки

со всех языков на английский

law of isomorphism

См. также в других словарях:

  • Artin reciprocity law — The Artin reciprocity law, established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of the global class field theory.[1] The term reciprocity law refers to a long line of… …   Wikipedia

  • Peirce's law — in logic is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. In propositional calculus, Peirce s law says that (( P → Q )→ P )→ P . Written out, this… …   Wikipedia

  • Eilhard Mitscherlich — Infobox Scientist name = Eilhard Mitscherlich |200px image width = 200px caption = Eilhard Mitscherlich (1794 1863) birth date = birth date|1794|1|7|df=y birth place = Neuende, Jever death date = death date and age|1863|8|28|1794|1|7|df=y death… …   Wikipedia

  • Mitscherlich , Eilhardt — (1794–1863) German chemist Mitscherlich, who was born at Neuende in Germany, studied oriental languages at Heidelberg and Berlin. He then turned to the study of medicine at Göttingen in 1817, where he became interested in crystallography. For two …   Scientists

  • Berzelius, Jöns Jacob — ▪ Swedish chemist Introduction born August 20, 1779, near Linköping, Sweden died August 7, 1848, Stockholm  one of the founders of modern chemistry. He is especially noted for his determination of atomic weights (atomic weight), the development… …   Universalium

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Modular lattice — Hasse diagram of N5, the smallest non modular lattice. In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self dual condition: Modular law x ≤ b implies… …   Wikipedia

  • Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia

  • Metric tensor — In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… …   Wikipedia

  • Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… …   Wikipedia

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»